ЯЗЫ́К, -а́, м. 1. Орган в полости рта в виде мышечного выроста у позвоночных животных и человека, способствующий пережевыванию и глотанию пищи, определяющий ее вкусовые свойства.
Все значения слова «язык»ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика.
Все значения слова «логика»Стремление обогатить язык логики и расширить её возможности привело к возникновению модальной логики.
Вышеназванные категории языка логики предикатов можно выразить с помощью определённых символов, с которыми мы будем постоянно встречаться при изучении курса.
Давайте кратко рассмотрим структуру и функции языка, соотношение логических и грамматических категорий, а также принципы построения языка логики.